Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
41	A Case for Boolean Logic Ike Antkaretoo International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr - Date: 2014-01-09 04:24:29
42	Kunstmatige Kunst Prof.Dr.Ir. Remko Scha, Institute for Logic, Language & Computation, UvA, Institute for Artiﬁcial Art Amsterdam () Prof.Dr.Ir. Remko Scha is hoogleraar in de computationele linguistiek aan Add to Reading List Source URL: www.deconnectie.com - Date: 2008-10-16 19:46:09
43	A Transparent Semantic Enablement Layer for the Geospatial Web ? Krzysztof Janowicz, Sven Schade, Arne Br¨oring, Carsten Keßler, Christoph Stasch, Patrick Mau´e, Thorsten Diekhof Institute for Geoinformatics, Universi Add to Reading List Source URL: carsten.io Language: English - Date: 2013-09-07 23:22:53 Semantic Web Computing Information Sensor web Ontology Open Geospatial Consortium Semantic Geospatial Web Sensor Observation Service SensorML Geographic information system SAWSDL Description logic
44	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution
45	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator
46	Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:03 Logic Mathematical logic Abstraction Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction Sequent calculus Sequent First-order logic
47	Machine Learning Literature using Textual Features Andreas van Cranenburgh Huygens ING & Institute for Logic, Language and Computation ABSTRACT Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Cognitive science Cognition Science Natural language processing Bigram Classical cryptography Literariness Literary theory Literature Computational linguistics Linguistics Prediction
48	Strong systematicity in sentence processing by simple recurrent networks Phil´emon Brakel () Stefan L. Frank () Institute for Logic, Language, and Computation, University of Amsterdam Sci Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:05:11 Computational neuroscience Cognitive science Artificial neural networks Cognition Cybernetics Markov models Statistical natural language processing Recurrent neural network Language model Connectionism Convolutional neural network Transformational grammar
49	An Empirical Evaluation of LFG-DOP Rens Bod Informatics Research Institute, University of Leeds, Leeds LS2 9JT, & Institute for Logic, Language and Computation, University of Amsterdam Abstract Add to Reading List Source URL: www.nclt.dcu.ie Language: English - Date: 2006-07-24 06:56:07 Linguistics Language Grammar Computational linguistics Natural language parsing Data-oriented parsing Discourse analysis Syntax Parsing Branching Probability distribution Text corpus
50	Generalization and Systematicity in Echo State Networks Stefan L. Frank () Institute for Logic, Language and Computation, University of Amsterdam Plantage Muidergracht 24, 1018 TV Amsterdam, The Neth Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:05:04 Artificial neural networks Cognition Computational neuroscience Cognitive science Applied mathematics Artificial intelligence Computational statistics Computational linguistics Language model Echo state network Recurrent neural network Connectionism